svm: migrate pirq with vcpu

hvm_migrate_pirqs() is missing in svm_do_resume().

Signed-off-by: Wei Wang <wei.wang2@amd.com>

diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c
index 968beedb42971912a9d7b0d4d76b3cb6f6f8099c..4df855ff267aa7409f2e435dc0a873026eb7cc6c 100644 (file)
--- a/xen/arch/x86/hvm/svm/svm.c
+++ b/xen/arch/x86/hvm/svm/svm.c
@@ -705,7 +705,7 @@ static void svm_do_resume(struct vcpu *v)
     {
         v->arch.hvm_svm.launch_core = smp_processor_id();
         hvm_migrate_timers(v);
-
+        hvm_migrate_pirqs(v);
         /* Migrating to another ASID domain.  Request a new ASID. */
         hvm_asid_flush_vcpu(v);
     }